Перевод: с английского на русский

с русского на английский

substitution statement

См. также в других словарях:

  • substitution instance — noun : a statement in logic derived from a statement form by substitution of constants for variables …   Useful english dictionary

  • Intensional statement — In logic, an intensional statement form is a statement form with at least one instance such that substituting co extensive expressions into it does not always preserve logical value. An intensional statement is a statement that is an instance of… …   Wikipedia

  • Simultaneous substitution — For the US equivalent to this practice, see Syndication exclusivity. The View as it appears on ABC in Canada before and after simultaneous substitution is implemented as requested by CTV. Note the appearance of CTV s bug in the lower right corner …   Wikipedia

  • Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …   Wikipedia

  • Christadelphians — Main article Literature Bible Companion | Elpis Israel | Christendom Astray …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT …   Encyclopedia of Judaism

  • Text Executive Programming Language — In 1979, Honeywell Information Systems announced a new programming language for their time sharing service named TEX, an acronym for the Text Executive processor. TEX was a first generation scripting language, developed around the time of AWK and …   Wikipedia

  • Marginalism — Economics …   Wikipedia

  • Sacrifice — • This term is identical with the English offering (Latin offerre) and the German Opfer Catholic Encyclopedia. Kevin Knight. 2006. Sacrifice     Sacrifice      …   Catholic encyclopedia

  • evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»